An introduction to FIFO nets— monogeneous nets: A subclass of FIFO nets
نویسندگان
چکیده
منابع مشابه
Modeling Interactive Scientific Visualization Applications with Strict Colored Fifo Nets
MODELING INTERACTIVE SCIENTIFIC VISUALIZATION APPLICATIONS WITH STRICT COLORED FIFO NETS Abderrahim Ait Wakrime, Sébastien Limet and Sophie Robert *1, 2, 3 University Orléans, INSA Centre Val de Loire, LIFO, EA 4022, F-45067, Orléans, France ABSTRACT Component-based approaches are becoming popular in recent years in the software development. The goal of these approaches is to build software sys...
متن کاملAn Introduction to Proof Nets
We give some basic results of the theory of proof nets for multiplicative linear logic and multiplicative exponential linear logic with mix. The relation between proof nets and the lambda-calculus is precisely described. 1 Multiplicative Proof Nets 1.1 Multiplicative Linear Logic We assume given a denumerable set of atoms X, Y , . . . The formulas of multiplicative linear logic (MLL) are define...
متن کاملAn Introduction to Petri Nets
1 INTRODUCTION The point of view taken in this instroduction to discrete event systems (DES) is that they consist of interacting nodes. Each node can be a system in itself and may be thought of as a component of the DES. These components can operate concurrently, i.e., a component can be performing one of its functions at the same time that another component is carrying out one of its respectiv...
متن کاملAn Introduction to Reflective Petri Nets
Evolution is becoming a very hot topic in discreteevent system engineering. Most systems are subject to evolution during lifecycle. Think e.g. of mobile ad-hoc networks, adaptable software, business processes, and so on. Such systems need to be updated, or extended with new features, during lifecycle. Evolution can often imply a complete system redesign, the development of new features and thei...
متن کاملIntroduction to Stochastic Petri Nets
Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1985
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90014-3